formalized computer program

un. 形式化计算机程序